Lotmanian explosion: From peripheral space to dislocated time

A Result in Dislocated Quasi Metric Space

In this paper, we prove a fixed point theorem in dislocated quasi-metric space which extends and unifies some well-known similar results in literature. Mathematics Subject Classification: 47H10, 54H25.

Specification Guidelines to Avoid the State Space Explosion Problem

During the last two decades we modelled the behaviour of a large number of systems. We noted that different styles of modelling had quite an effect on the size of the state spaces of the modelled system. The differences were so substantial that some specification styles led to far too many states to verify the correctness of the model, whereas with other styles the number of states was so small...

Topological Antidotes to the State Space Explosion Problem

Fluid-flow solutions to the state space explosion problem

Achieving the appropiate performance requirements for computer–communication systems is as important as the correctness of the end-result. This is particularly difficult in the case of massively parallel computer systems such as the clusters of PCs behind the likes of Google and peer-to-peer filesharing networks such as Bittorrent. Measuring the performance of such systems using a mathematical ...

Fighting State Space Explosion: Review and Evaluation

In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different approaches. In this paper we focus on explicit finite state model checking and study this area from practitioner’s point of view. We provide a systematic overview of techniques for fighting state space explosion and we ana...